RScheme The Implementation Donovan Kolbly RS

Source URL: www.rscheme.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Procedural programming languages
• Cross-platform software
• Object-oriented programming languages
• Lisp
• Readevalprint loop
• Eval
• Scheme
• D

Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Programming paradigms
• Prolog
• Interpreter
• Escher
• Programming language
• Declarative programming
• APL

Purely functional programming the red pill JFokus Tutorial 2016 Dierk König canoo

Source URL: www.jfokus.se

Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

Source URL: scalamacros.org

• Software
• Computing
• Functional languages
• Object-oriented programming languages
• Macro
• Source code
• Concurrent programming languages
• Programming paradigms
• Palladium
• Scala
• Make
• Metaprogramming

Imperative programming in F# Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Source URL: www.idt.mdh.se

• Software engineering
• Computing
• Computer programming
• Functional programming
• Programming paradigms
• Immutable object
• Object
• Data types
• Assignment
• Reference
• Scala
• Immutable interface

Designing a verifying compiler: Lessons learned from developing Whiley

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Type theory
• Procedural programming languages
• Whiley
• C++
• Const
• Recursion
• Java bytecode

Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Functional languages
• Programming idioms
• Recursion
• Theoretical computer science
• Functional programming
• Monad
• Lisp
• F Sharp
• Equation solving
• Exponentiation

Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def  specialized[T:  ClassTag](code:  =>  Any)  =  macro  ...   def  createArray[T:  ClassTag](size:  Int,  e

Source URL: scalamacros.org

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Functional languages
• Object-oriented programming languages
• Functional programming
• Procedural programming languages
• Scala
• Macro
• Nim
• Type class

Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

Source URL: www.inf.ed.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Monad
• Data types
• Type class
• Haskell
• Entry point
• Computation
• Ur

Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Declarative programming
• Data types
• Computing
• Type theory
• Functional programming
• Object-oriented programming
• Polymorphism
• Map
• Ordinal number
• Boolean data type
• CurryHoward correspondence